Analytical Performance Evaluation of Manufacturing Cells Using Petri Net Model and Moment Generating - Systems, Man and Cybernetics, 1996., IEEE International Conference on
نویسندگان
چکیده
In this paper, a manufacturing cell is represented as a generalized stochastic Petri net model. Then, by applying moment generating function based approach, the steady-state probability formulation, and accordingly, the production rate and the work-in-process of the manufacturing cell are expressed, respectively, as a symbolic function of all the timed transition rates, such as the part processing rate, the failure rate and the repair rate. Finally, the analytical results are compared with the previous research results to verify the validity of the suggested method.
منابع مشابه
Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems
In this paper, hierarchical time-extended Petri nets (H-EPNs), an extended Petri net based modeling and analysis tool, are used to derive the coordination level model of hierarchically decomposable systems, viewed from a three-level hierarchical structure of organization, coordination and execution of tasks. A two-layer (vertical) coordination level framework, consisting of the dispatcher/analy...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملComments on "A Petri net model for temporal knowledge representation and reasoning"
Yao (1994) has presented a unified time Petri net model (TPN) for temporal knowledge representation and reasoning, where the TPN model presented has a good contribution to the aspect of temporal knowledge representation and reasoning. However, there are a number of errors which should be corrected. The purpose of the paper is to identify these errors, and the corrections provided permit the rea...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملDiscrete event representation of qualitative models using Petri nets
The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The crossing of a landmark value corresponds to the firing of a transition. We give a formal procedure to construct a Petri net model corresponding to a given set of qualitative equations. The approach can be used to study b...
متن کامل